<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>

<title>TypeInstantiator (randoop 4.1.0 API)</title>

<link rel="stylesheet" type="text/css" href="../../javadocstyle.css" title="Style">
<script type="text/javascript" src="../../script.js"></script>
</head>
<body>
<script type="text/javascript"><!--
    try {
        if (location.href.indexOf('is-external=true') == -1) {
            parent.document.title="TypeInstantiator (randoop 4.1.0 API)";
        }
    }
    catch(err) {
    }
//-->
var methods = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10,"i5":10,"i6":10,"i7":10,"i8":10,"i9":10,"i10":10,"i11":10,"i12":10,"i13":10,"i14":10,"i15":10};
var tabs = {65535:["t0","All Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]};
var altColor = "altColor";
var rowColor = "rowColor";
var tableTab = "tableTab";
var activeTableTab = "activeTableTab";
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar.top">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.top.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/reflection/TypeExtractor.html" title="class in randoop.reflection"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/reflection/TypeNames.html" title="class in randoop.reflection"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/reflection/TypeInstantiator.html" target="_top">Frames</a></li>
<li><a href="TypeInstantiator.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">randoop.reflection</div>
<h2 title="Class TypeInstantiator" class="title">Class TypeInstantiator</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">java.lang.Object</a></li>
<li>
<ul class="inheritance">
<li>randoop.reflection.TypeInstantiator</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public class <span class="typeNameLabel">TypeInstantiator</span>
extends <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></pre>
<div class="block">Function object to instantiate type parameters from a set of input types.</div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Field Summary table, listing fields, and an explanation">
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Field and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#inputTypes">inputTypes</a></span></code>
<div class="block">The set of input types for this model</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#TypeInstantiator-java.util.Set-">TypeInstantiator</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&gt;&nbsp;inputTypes)</code>
<div class="block">Creates a <a href="../../randoop/reflection/TypeInstantiator.html" title="class in randoop.reflection"><code>TypeInstantiator</code></a> object using the given types to construct instantiating
 substitutions.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method.summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd">&nbsp;</span></span><span id="t2" class="tableTab"><span><a href="javascript:show(2);">Instance Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd">&nbsp;</span></span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr id="i0" class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#collectSubstitutions-java.util.List-randoop.types.Substitution-">collectSubstitutions</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;typeParameters,
                    <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;substitution)</code>
<div class="block">Recursive function to collect the list of substitutions that extend a substitution for the
 given type parameters.</div>
</td>
</tr>
<tr id="i1" class="rowColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#getCandidateTypeLists-java.util.List-">getCandidateTypeLists</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;parameters)</code>
<div class="block">Constructs the list of lists of candidate types for the given type parameters.</div>
</td>
</tr>
<tr id="i2" class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#getInstantiations-java.util.List-randoop.types.Substitution-randoop.types.TypeCheck-">getInstantiations</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;parameters,
                 <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;initialSubstitution,
                 <a href="../../randoop/types/TypeCheck.html" title="class in randoop.types">TypeCheck</a>&nbsp;typeCheck)</code>
<div class="block">Adds instantiating substitutions for the given parameters to the list if satisfies the given
 type check predicate.</div>
</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code>private <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#getSearchTypeSubstitution-randoop.types.GenericClassType-java.util.List-">getSearchTypeSubstitution</a></span>(<a href="../../randoop/types/GenericClassType.html" title="class in randoop.types">GenericClassType</a>&nbsp;searchType,
                         <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;parameters)</code>&nbsp;</td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code><a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#instantiate-randoop.operation.TypedClassOperation-">instantiate</a></span>(<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;operation)</code>&nbsp;</td>
</tr>
<tr id="i5" class="rowColor">
<td class="colFirst"><code>private <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#instantiateDeclaringClass-randoop.types.ClassOrInterfaceType-">instantiateDeclaringClass</a></span>(<a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;declaringType)</code>
<div class="block">Chooses an instantiating substitution for the given declaring class.</div>
</td>
</tr>
<tr id="i6" class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#instantiateOperationTypes-randoop.operation.TypedClassOperation-">instantiateOperationTypes</a></span>(<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;operation)</code>
<div class="block">Selects an instantiation of the generic types of an operation, and returns a new operation with
 the types instantiated.</div>
</td>
</tr>
<tr id="i7" class="rowColor">
<td class="colFirst"><code>private <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#instantiateSortedSetType-randoop.operation.TypedClassOperation-">instantiateSortedSetType</a></span>(<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;operation)</code>
<div class="block">Returns a substitution that instantiates the <code>SortedSet</code> type of the given constructor.</div>
</td>
</tr>
<tr id="i8" class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#selectAndExtend-java.util.List-randoop.types.Substitution-">selectAndExtend</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;parameters,
               <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;substitution)</code>
<div class="block">Selects types independently for a list of type parameters, and extends the given substitution
 by the substitution of the selected types for the parameters.</div>
</td>
</tr>
<tr id="i9" class="rowColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#selectCandidates-randoop.types.TypeVariable-">selectCandidates</a></span>(<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&nbsp;argument)</code>
<div class="block">Selects all input types that potentially satisfies the bounds on the argument.</div>
</td>
</tr>
<tr id="i10" class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/types/ParameterBound.html" title="class in randoop.types">ParameterBound</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#selectLowerBound-randoop.types.TypeVariable-">selectLowerBound</a></span>(<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&nbsp;argument)</code>
<div class="block">Chooses the lower bound of the given argument to be tested in <a href="../../randoop/reflection/TypeInstantiator.html#selectCandidates-randoop.types.TypeVariable-"><code>selectCandidates(TypeVariable)</code></a>.</div>
</td>
</tr>
<tr id="i11" class="rowColor">
<td class="colFirst"><code>private <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#selectMatch-randoop.types.ClassOrInterfaceType-">selectMatch</a></span>(<a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;declaringType)</code>
<div class="block">Selects an existing type that instantiates the given generic declaring type and returns the
 instantiating substitution.</div>
</td>
</tr>
<tr id="i12" class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#selectMatch-randoop.types.ClassOrInterfaceType-randoop.types.ClassOrInterfaceType-">selectMatch</a></span>(<a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;declaringType,
           <a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;patternType)</code>
<div class="block">Selects an existing type that instantiates the given pattern type which is an instantiation of
 a generic declaring type and returns the instantiating substitution for the more general type.</div>
</td>
</tr>
<tr id="i13" class="rowColor">
<td class="colFirst"><code>private <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#selectSubstitution-java.util.List-">selectSubstitution</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;typeParameters)</code>
<div class="block">Selects an instantiating substitution for the given list of type variables.</div>
</td>
</tr>
<tr id="i14" class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#selectSubstitution-java.util.List-randoop.types.Substitution-">selectSubstitution</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;typeParameters,
                  <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;substitution)</code>
<div class="block">Extends the given substitution by instantiations for the given list of type variables.</div>
</td>
</tr>
<tr id="i15" class="rowColor">
<td class="colFirst"><code>private <a href="../../randoop/types/ParameterBound.html" title="class in randoop.types">ParameterBound</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/reflection/TypeInstantiator.html#selectUpperBound-randoop.types.TypeVariable-">selectUpperBound</a></span>(<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&nbsp;argument)</code>
<div class="block">Chooses the upper bound of the given argument to test in <a href="../../randoop/reflection/TypeInstantiator.html#selectCandidates-randoop.types.TypeVariable-"><code>selectCandidates(TypeVariable)</code></a>.</div>
</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods.inherited.from.class.java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></h3>
<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#clone--" title="class or interface in java.lang">clone</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#equals-java.lang.Object-" title="class or interface in java.lang">equals</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#finalize--" title="class or interface in java.lang">finalize</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#getClass--" title="class or interface in java.lang">getClass</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#hashCode--" title="class or interface in java.lang">hashCode</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notify--" title="class or interface in java.lang">notify</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notifyAll--" title="class or interface in java.lang">notifyAll</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#toString--" title="class or interface in java.lang">toString</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait--" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-int-" title="class or interface in java.lang">wait</a></code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ FIELD DETAIL =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a name="inputTypes">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>inputTypes</h4>
<pre>private final&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&gt; inputTypes</pre>
<div class="block">The set of input types for this model</div>
</li>
</ul>
</li>
</ul>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="TypeInstantiator-java.util.Set-">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>TypeInstantiator</h4>
<pre>public&nbsp;TypeInstantiator(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="../../randoop/types/Type.html" title="class in randoop.types">Type</a>&gt;&nbsp;inputTypes)</pre>
<div class="block">Creates a <a href="../../randoop/reflection/TypeInstantiator.html" title="class in randoop.reflection"><code>TypeInstantiator</code></a> object using the given types to construct instantiating
 substitutions.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>inputTypes</code> - the ground types for instantiations</dd>
</dl>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method.detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="instantiate-randoop.operation.TypedClassOperation-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>instantiate</h4>
<pre>public&nbsp;<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;instantiate(<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;operation)</pre>
</li>
</ul>
<a name="instantiateSortedSetType-randoop.operation.TypedClassOperation-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>instantiateSortedSetType</h4>
<pre>private&nbsp;<a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;instantiateSortedSetType(<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;operation)</pre>
<div class="block">Returns a substitution that instantiates the <code>SortedSet</code> type of the given constructor. A
 <code>SortedSet</code> may be built so that the element type <code>E</code> is ordered either explicitly
 with a <code>Comparator&lt;E&gt;</code>, or the element type satisfies <code>E implements Comparable&lt;E&gt;</code>.
 The <code>SortedSet</code> documentation indicates that there should be four constructors, each of
 which indicates the order to be used and so constrains the element type.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>operation</code> - the constructor for the <code>SortedSet</code> subtype to be instantiated</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the substitution to instantiate the element type of the <code>SortedSet</code> type</dd>
</dl>
</li>
</ul>
<a name="getSearchTypeSubstitution-randoop.types.GenericClassType-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getSearchTypeSubstitution</h4>
<pre>private&nbsp;<a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;getSearchTypeSubstitution(<a href="../../randoop/types/GenericClassType.html" title="class in randoop.types">GenericClassType</a>&nbsp;searchType,
                                                              <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;parameters)</pre>
</li>
</ul>
<a name="instantiateDeclaringClass-randoop.types.ClassOrInterfaceType-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>instantiateDeclaringClass</h4>
<pre>private&nbsp;<a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;instantiateDeclaringClass(<a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;declaringType)</pre>
<div class="block">Chooses an instantiating substitution for the given declaring class. Performs a coin flip to
 determine whether to use a previous instantiation, or to create a new one. Either way, if a new
 instantiating substitution is required, uses <a href="../../randoop/reflection/TypeInstantiator.html#selectSubstitution-java.util.List-randoop.types.Substitution-"><code>selectSubstitution(List, Substitution)</code></a> to
 construct and choose one. Verifies that all of the type parameters of the declaring type are
 instantiated, and logs failure if not.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>declaringType</code> - the type to be instantiated</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>a substitution instantiating the given type; null if none is found</dd>
</dl>
</li>
</ul>
<a name="selectMatch-randoop.types.ClassOrInterfaceType-randoop.types.ClassOrInterfaceType-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>selectMatch</h4>
<pre>private&nbsp;<a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;selectMatch(<a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;declaringType,
                                                <a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;patternType)</pre>
<div class="block">Selects an existing type that instantiates the given pattern type which is an instantiation of
 a generic declaring type and returns the instantiating substitution for the more general type.
 The pattern type makes it possible to select matches for partial instantiations of a generic
 type.

 <p>Note: for all uses to work properly, the input types need to be closed on supertypes: if a
 type is in the input types, then so are all of its supertypes.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>declaringType</code> - the generic type for which instantiation is to be found</dd>
<dd><code>patternType</code> - the generic type from which match is to be determined, must be instantiation
     of <code>declaringType</code>.</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>a substitution instantiating given type as an existing type; null if no such type</dd>
</dl>
</li>
</ul>
<a name="selectMatch-randoop.types.ClassOrInterfaceType-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>selectMatch</h4>
<pre>private&nbsp;<a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;selectMatch(<a href="../../randoop/types/ClassOrInterfaceType.html" title="class in randoop.types">ClassOrInterfaceType</a>&nbsp;declaringType)</pre>
<div class="block">Selects an existing type that instantiates the given generic declaring type and returns the
 instantiating substitution.

 <p>Note: for all uses to work properly, the input types need to be closed on supertypes: if a
 type is in the input types, then so are all of its supertypes.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>declaringType</code> - the generic type for which instantiation is to be found</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>a substitution instantiating given type as an existing type; null if no such type</dd>
</dl>
</li>
</ul>
<a name="instantiateOperationTypes-randoop.operation.TypedClassOperation-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>instantiateOperationTypes</h4>
<pre>private&nbsp;<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;instantiateOperationTypes(<a href="../../randoop/operation/TypedClassOperation.html" title="class in randoop.operation">TypedClassOperation</a>&nbsp;operation)</pre>
<div class="block">Selects an instantiation of the generic types of an operation, and returns a new operation with
 the types instantiated.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>operation</code> - the operation</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the operation with generic types instantiated</dd>
</dl>
</li>
</ul>
<a name="selectSubstitution-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>selectSubstitution</h4>
<pre>private&nbsp;<a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;selectSubstitution(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;typeParameters)</pre>
<div class="block">Selects an instantiating substitution for the given list of type variables.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>typeParameters</code> - the type variables to be instantiated</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>a substitution instantiating the type variables; null if a variable has no
     instantiating types</dd>
<dt><span class="seeLabel">See Also:</span></dt>
<dd><a href="../../randoop/reflection/TypeInstantiator.html#selectSubstitution-java.util.List-randoop.types.Substitution-"><code>selectSubstitution(List, Substitution)</code></a></dd>
</dl>
</li>
</ul>
<a name="selectSubstitution-java.util.List-randoop.types.Substitution-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>selectSubstitution</h4>
<pre>private&nbsp;<a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;selectSubstitution(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;typeParameters,
                                                       <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;substitution)</pre>
<div class="block">Extends the given substitution by instantiations for the given list of type variables. If any
 of the type variables has a generic bound, assumes there are dependencies and enumerates all
 possible substitutions and tests them. Otherwise, independently selects an instantiating type
 for each variable.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>typeParameters</code> - the type variables to be instantiated</dd>
<dd><code>substitution</code> - the substitution to extend</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the substitution extended by instantiating type variables; null if a variable has no
     instantiating types</dd>
</dl>
</li>
</ul>
<a name="collectSubstitutions-java.util.List-randoop.types.Substitution-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>collectSubstitutions</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&gt;&nbsp;collectSubstitutions(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;typeParameters,
                                                               <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;substitution)</pre>
<div class="block">Recursive function to collect the list of substitutions that extend a substitution for the
 given type parameters.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>typeParameters</code> - the type parameters to be instantiated</dd>
<dd><code>substitution</code> - the substitution to be extended</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the list of substitutions, empty if none are found</dd>
</dl>
</li>
</ul>
<a name="selectAndExtend-java.util.List-randoop.types.Substitution-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>selectAndExtend</h4>
<pre>private&nbsp;<a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;selectAndExtend(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;parameters,
                                                    <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;substitution)</pre>
<div class="block">Selects types independently for a list of type parameters, and extends the given substitution
 by the substitution of the selected types for the parameters.

 <p>IMPORTANT: Should only be used for parameters that have non-generic bounds.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>parameters</code> - a list of independent type parameters</dd>
<dd><code>substitution</code> - the substitution to extend</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the substitution extended by mapping given parameters to selected types; null, if there
     are no candidate types for any parameter</dd>
</dl>
</li>
</ul>
<a name="getInstantiations-java.util.List-randoop.types.Substitution-randoop.types.TypeCheck-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getInstantiations</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&gt;&nbsp;getInstantiations(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;parameters,
                                                            <a href="../../randoop/types/Substitution.html" title="class in randoop.types">Substitution</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;initialSubstitution,
                                                            <a href="../../randoop/types/TypeCheck.html" title="class in randoop.types">TypeCheck</a>&nbsp;typeCheck)</pre>
<div class="block">Adds instantiating substitutions for the given parameters to the list if satisfies the given
 type check predicate. Each constructed substitution extends the given initial substitution.
 Assumes that the parameters are or are refinements of the set of parameters check by the type
 check predicate.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>parameters</code> - the list of parameters to instantiate</dd>
<dd><code>initialSubstitution</code> - the substitution to be extended by new substitutions</dd>
<dd><code>typeCheck</code> - the predicate to type check a substitution</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the list of instantiating substitutions</dd>
</dl>
</li>
</ul>
<a name="getCandidateTypeLists-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getCandidateTypeLists</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&gt;&nbsp;getCandidateTypeLists(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&gt;&nbsp;parameters)</pre>
<div class="block">Constructs the list of lists of candidate types for the given type parameters. Each list is the
 list of candidates for the parameter in the corresponding position of the given list as
 determined by <a href="../../randoop/reflection/TypeInstantiator.html#selectCandidates-randoop.types.TypeVariable-"><code>selectCandidates(TypeVariable)</code></a>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>parameters</code> - the list of type parameters</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the list of candidate lists for the parameters; returns the empty list if any parameter
     has no candidates</dd>
</dl>
</li>
</ul>
<a name="selectCandidates-randoop.types.TypeVariable-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>selectCandidates</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/types/ReferenceType.html" title="class in randoop.types">ReferenceType</a>&gt;&nbsp;selectCandidates(<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&nbsp;argument)</pre>
<div class="block">Selects all input types that potentially satisfies the bounds on the argument. If a bound has
 another type parameter, then the default bound is tested.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>argument</code> - the type arguments</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the list of candidate types to include in tested tuples</dd>
</dl>
</li>
</ul>
<a name="selectUpperBound-randoop.types.TypeVariable-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>selectUpperBound</h4>
<pre>private&nbsp;<a href="../../randoop/types/ParameterBound.html" title="class in randoop.types">ParameterBound</a>&nbsp;selectUpperBound(<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&nbsp;argument)</pre>
<div class="block">Chooses the upper bound of the given argument to test in <a href="../../randoop/reflection/TypeInstantiator.html#selectCandidates-randoop.types.TypeVariable-"><code>selectCandidates(TypeVariable)</code></a>. If the bound contains a type parameter other than the given
 argument, then the bound for the <code>Object</code> type is returned.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>argument</code> - the type argument</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the upperbound of the argument if no other type parameter is needed, the <code>Object</code>
     bound otherwise</dd>
</dl>
</li>
</ul>
<a name="selectLowerBound-randoop.types.TypeVariable-">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>selectLowerBound</h4>
<pre>private&nbsp;<a href="../../randoop/types/ParameterBound.html" title="class in randoop.types">ParameterBound</a>&nbsp;selectLowerBound(<a href="../../randoop/types/TypeVariable.html" title="class in randoop.types">TypeVariable</a>&nbsp;argument)</pre>
<div class="block">Chooses the lower bound of the given argument to be tested in <a href="../../randoop/reflection/TypeInstantiator.html#selectCandidates-randoop.types.TypeVariable-"><code>selectCandidates(TypeVariable)</code></a>. If the bound has a type parameter other than the given
 argument, then the <a href="../../randoop/types/JavaTypes.html#NULL_TYPE"><code>JavaTypes.NULL_TYPE</code></a> is return as the bound.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>argument</code> - the type argument</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the lower bound of the argument if no other type parameter is needed, the <a href="../../randoop/types/JavaTypes.html#NULL_TYPE"><code>JavaTypes.NULL_TYPE</code></a> otherwise</dd>
</dl>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar.bottom">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.bottom.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/reflection/TypeExtractor.html" title="class in randoop.reflection"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/reflection/TypeNames.html" title="class in randoop.reflection"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/reflection/TypeInstantiator.html" target="_top">Frames</a></li>
<li><a href="TypeInstantiator.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
